#inferencia abstracta